Planning Experiments in the DALI Logic Programming Language
نویسندگان
چکیده
We discuss some features of the new logic programming language DALI for agents and multi-agent systems. In particular, we aim at illustrating the treatment of proactivity, which is based on the mechanism of the internal events. This mechanism is general and flexible, and it is different from all the other approaches that can be found in the literature. In this paper, as a case-study we discuss the design and implementation of an agent capable to perform simple forms of planning. In particular, we demonstrate how it is possible in DALI to perform STRIPS-like planning without implementing a meta-interpreter. In fact a DALI agent, which is capable of complex proactive behavior, can build stepby-step her plan by proactively checking for goals and possible actions.
منابع مشابه
Strips-like Planning in the DALI Logic Programmming Language
In this paper we will discuss how some features of the new logic programming language DALI for agents and multi-agent systems are suitable to programming agents equipped with planning capabilities. We will discuss the design and implementation of an agent capable to perform STRIPS-like planning, and we will propose a significant example. In particular, a DALI agent, which is capable of complex ...
متن کاملTowards Active Logic Programming
In this paper we present the new logic programming language DALI, aimed at defining agents and agent systems. A main design objective for DALI has been that of introducing in a declarative fashion all the essential features, while keeping the language as close as possible to the syntax and semantics of the plain Horn–clause language. Special atoms and rules have been introduced, for representin...
متن کاملCommunication Architecture in the DALI Logic Programming Agent-Oriented Language
In this paper we describe the communication architecture of the DALI Logic Programming Agent-Oriented language. We have implemented the relevant FIPA compliant primitives, plus others which we believe to be suitable in a logic setting. We have designed a meta-level where: on the one hand the user can specify, via two distinguished primitives tell/told, constraints on communication and/or a comm...
متن کاملA Game-Theoretic Operational Semantics for the DALI Communication Architecture
In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level where the user can specify, via the distinguished tell/told primitives, constraints on communication or even a new protocol. Moreover, the user can define meta-rules for filtering and/or understanding messages via applying onto...
متن کاملThe DALI Logic Programming Agent-Oriented Language
DALI [3] [2] is an Active Logic Programming Language designed in the line of [6] for executable specification of logical agents. A DALI agent is a logic program that contains a particular kind of rules, reactive rules, aimed at interacting with an external environment. The reactive and proactive behavior of the DALI agent is triggered by several kinds of events: external, internal, present and ...
متن کامل